161. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
162. Model theory of algebra and arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
834
163. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model theory - Congresses
رده :
QA
.
L28
,
no
3
.
834
164. Model theory of algebra and arithmetic: proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Model theory
رده :
QA
3
.
L28
no
.
834
165. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Model theory
رده :
QA
1
.
L4
v
.
834
166. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Model theory
رده :
QA
9
.
7
.
C6
1979
167. Model theory of algebra and arithmetic: proceedings of the conference on ... held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J Wierzejewski, and A. J. Wilkie
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory,، Algebraic logic,، Groups, Theory of,، Set theory
رده :
QA
3
.
L28
no
.
834
168. Model theory of fields
پدیدآورنده : Marker, David, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Algebraic fields
رده :
QA
9
.
A1L44
Vol
.
5
169. Model theory of fields
پدیدآورنده : Marker, David, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Algebraic fields
رده :
QA
9
.
A1L44
Vol
.
5
2006
170. Model theory of groups and automorphism groups : Blaubeuren, August 1995
پدیدآورنده : edited by David M. Evans
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Model theory,Congresses ، Group theory
رده :
QA
9
.
7
.
M63
171. Model theory of stochastic processes
پدیدآورنده : Fajardo, Sergio
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Stochastic processes,، Model theory
رده :
QA
274
.
F37
2002
172. Model theory of stochastic processes
پدیدآورنده : Fajardo, Sergio, 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Stochastic processes,، Model theory
رده :
QA
9
.
A1L44
Vol
.
14
173. Model theory with applications to algebra and analysis
پدیدآورنده : Zoe Chatzidakis ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M639
174. Model theory with applications to algebra and analysis
پدیدآورنده : Zoe Chatzidakis ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M638
2008
175. Model theory with applications to algebra and analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M638
2008
176. Motivic integration and its interactions with model theory and non-Archimedean geometry
پدیدآورنده : edited by Raf Cluckers, Johannes Nicaise, Julien Sebag
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Valued fields,، Analytic spaces,، Geometry, Algebraic
رده :
QA
9
.
7
.
M68
177. Multi-parametric model-based control: theory and applications
پدیدآورنده : edited by Efstratios N. Pistikopoulos, Michael C. Georgiadis and Vivek Dua
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Systems engineering - Computer programs,، Predictive control,، Multiparadigm programming )Computer science(
رده :
QA
76
.
612
.
M852
2007
178. Multi-parametric model-based control: theory and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Systems engineering-- Computer programs,، Predictive control,، Multiparadigm programming )Computer science(
رده :
QA
76
.
612
.
M852
2007
179. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
180. #Non-classical logics, model theory, and computability
پدیدآورنده : #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
رده :
#
QA
،#.
L37
،#
1976